Consigne: Déterminer la nature de l'intégrale généralisée $$\int^{1/2}_0\frac1{t^\alpha\lvert\ln t\rvert^\beta}\,dt$$
Cas \(\alpha=1\) : changement de variable
Cas \(\alpha=1\) : $$\int^{1/2}_0\frac1{t\lvert\ln t\rvert^\beta}\,dt=\left\{\begin{array}{}u=\ln t& t=\frac12\to u =\ln(\frac12)=-\ln2\\ du=\frac1t{dt}&t = 0\to u=-\infty\end{array}\right\}=\int^{-\ln2}_{-\infty}\frac1{\lvert u\rvert^\beta}\,du$$
Changement de variable pour changer le signe (ne pas oublier de changer l'ordre des bornes) \(\to\) intégrale de Riemann
$$\int^{-\ln2}_{-\infty}\frac1{(-u)^\beta}\,du=\left\{\begin{array}{}x= -u&u=-\ln2\to x=\ln2\\ dx=-du&u = -\infty\to x=+\infty\end{array}\right\}=\int_{\ln2}^{+\infty}\frac1{x^\beta}\,dx$$
L'intégrale est donc convergente pour \(\alpha=1\) si et seulement si \(\beta\gt 1\)
Cas \(\alpha\lt 1\) et \(\beta\geqslant0\) : majoration par une intégrale de Riemann convergente
Cas \(\alpha\lt 1\) et \(\beta\geqslant0\) : $$\frac1{t^\alpha\lvert\ln t\rvert^\beta}\leqslant\frac1{t^\alpha}\quad\text{ et }\quad\int^{1/2}_0\frac1{t^\alpha}\,dt\quad\text{ converge}$$
Cas \(\alpha\lt 1\) et \(\beta\lt 0\) : croissances comparées pour majorer par une intégrale de Riemann convergente
Cas \(\alpha\lt 1\) et \(\beta\lt 0\) :
On fixe \(\varepsilon\gt 0\) tel que \(\alpha+\varepsilon\lt 1\) $$\frac{\lvert \ln t\rvert^{\lvert\beta\rvert}}{t^\alpha}=\frac{t^\varepsilon\lvert\ln t\rvert^{\lvert\beta\rvert}}{t^{\alpha+\varepsilon}}\leqslant\frac C{t^{\alpha+\varepsilon}}\quad\text{ et }\quad C\int^{1/2}_{0}\frac1{t^{\alpha+\varepsilon}}\,dt\quad\text{ converge}$$
Cas \(\alpha\gt 1\) et \(\beta\lt 0\) : minorer par une intégrale de Riemann divergente
Cas \(\alpha\gt 1\) et \(\beta\lt 0\) :
$$\frac1{t^\alpha\lvert\ln t\rvert^\beta}=\frac{\lvert\ln t\rvert^{\lvert\beta\rvert}}{t^\alpha}\geqslant\frac1{t^\alpha}\quad\text{ et }\quad\int^{1/2}_0\frac1{t^\alpha}\,dt\quad\text{ diverge}$$
Cas \(\alpha\gt 1\) et \(\beta\geqslant0\) : minorer par une intégrale de Riemann divergente
Cas \(\alpha\gt 1\) et \(\beta\geqslant0\) :
On fixe \(\varepsilon\gt 0\) tel que \(\alpha-\varepsilon\gt 1\)
$$\frac1{t^\alpha\lvert\ln t\rvert^\beta}=\frac1{t^{\alpha-\varepsilon}}\underbrace{\frac{t^\varepsilon}{t^\varepsilon\lvert\ln t\rvert^\beta}}_{\underset{t\to0^+}\longrightarrow+\infty}\geqslant\frac1{t^{\alpha-\varepsilon}}\quad\text{ et }\quad\int^{1/2}_0\frac1{t^{\alpha-\varepsilon}}\,dt\quad\text{ diverge}$$
(Logarithme népérien - Logarithme naturel (Opposé), Intégrale de Riemann)